spec_trans(root,'$initialise_machine',3).
spec_trans(2,'$initialise_machine',3).
spec_trans(3,'q_receivedItem_test1(TRUE,{QUEUE_NULL},{(QUEUE_NULL|->{TASK2}),(QUEUE2|->{})},{},{},{QUEUE_NULL},{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{},{QUEUE_NULL},{},QUEUE_NULL,{},{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{})',3).
spec_trans(3,'q_receivedItem_test12(TRUE,{QUEUE_NULL},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},{},{},QUEUE_NULL,{QUEUE_NULL},{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{})',3).
spec_trans(3,'q_receivedItem_test13(TRUE,{},{(QUEUE_NULL|->{TASK_NULL})},{},{},{QUEUE2},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE_NULL|->TASK_NULL)},{},{},{},QUEUE_NULL,{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{},{})',3).
spec_max_reached_for_node(root).
spec_max_reached_for_node(2).
spec_max_reached_for_node(3).
spec_max_reached_for_node(3).
spec_not_all_transitions_added(_) :-
        fail.
spec_completely_explored :-
        fail.
